Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
11	25th INTERNATIONAL CONFERENCE ON INDUCTIVE LOGIC PROGRAMMING KYOTO,AUG.20-22,2015 conference & program co-chairs : KATSUMI INOUE, NII / HAYATO OHWADA, Tokyo University of Science / AKIHIRO YAMAMOTO, Kyoto University Add to Reading List Source URL: ilp2015.jp - Date: 2015-05-22 20:13:35
12	Bridging static and dynamic program analysis using fuzzy logic Jacob Lidman & Josef Svenningsson Chalmers University of Technology {lidman, josefs}@chalmers.se Add to Reading List Source URL: qapl17.doc.ic.ac.uk - Date: 2017-04-20 09:16:43
13	ARTICLES THE BRITISH NATIONALITY ACT AS A LOGIC PROGRAM The formalization of legislation and the development of computer systems to Add to Reading List Source URL: opim.wharton.upenn.edu - Date: 2003-01-31 17:04:25
14	Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic for Add to Reading List Source URL: plv.mpi-sws.org - Date: 2017-01-19 08:43:04
15	Logic Chart developed for Austria’s genome grant program GEN-AU by team members of a process evaluation study of GEN-AU (Joanneum Research-lead; other members: TIA Consulting, Inc., and KMU Forschung Austria. (Osterr Add to Reading List Source URL: higherlogicdownload.s3.amazonaws.com - Date: 2012-09-30 20:31:56
16	Appendix A. REESE Program Logic Model INPUTS PROGRAM ACTIVITIES PROGRAM OUTPUT PROGRAM GOALS Communicate Research Select/Fund Create research that informs theory, practice, and policy Add to Reading List Source URL: higherlogicdownload.s3.amazonaws.com - Date: 2012-09-30 20:27:44
17	ASSOCIATION FOR SYMBOLIC LOGIC 2016 NORTH AMERICAN ANNUAL MEETING University of Connecticut Storrs, CT May 23-26, 2016 Program Committee: P. Blanchette (Chair), D. Dzhafarov, R. Lubarsky, A. Montalban, J. Add to Reading List Source URL: asl2016.logic.uconn.edu - Date: 2016-04-25 13:49:36
18	System Benefits Charge Distributed Generation/Combined Heat and Power Program Program Logic Model Report FINAL DRAFT Add to Reading List Source URL: higherlogicdownload.s3.amazonaws.com - Date: 2012-09-30 20:27:43
19	Evaluation Logic Model and Methodology of Chinese Academy of Sciences in Knowledge Innovation Program Xiaoxuan LI1, Bing SHI2, Tao DAI1, Jianzhong ZHOU1, Xiaoyang XU1 1 Institute of Policy and Management, Chinese Academy Add to Reading List Source URL: higherlogicdownload.s3.amazonaws.com - Date: 2012-09-30 20:31:56
20	The Iris 3.0 Documentation http://plv.mpi-sws.org/iris/ December 12, 2016 Abstract This document describes formally the Iris program logic. Every result in this document has Add to Reading List Source URL: plv.mpi-sws.org - Date: 2016-12-12 11:17:52